Nuprl Definition : tree_leaf
4,23
postcript
pdf
tree_leaf(
x
) == inl(
x
)
latex
Definitions
tree_leaf(
x
)
FDL editor aliases
tree_leaf
origin